Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
003975 | Hanne Gottliebsen [Danemark] ; Kristoffer H. Rose | Converting between Combinatory Reduction Systems and Big Step Semantics |
00C054 | Zine-El-Abidine Benaissa [France] ; Pierre Lescanne [France] ; Kristoffer H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
This area was generated with Dilib version V0.6.33. |